Skip to content

Conversation

Gittenburg
Copy link

@Gittenburg Gittenburg commented Jul 23, 2020

GitHub sends all subscribed users a notification for new comments.
So spamming subscribers with bot comments is annoying.

Fixes #180.

Warning: I didn't test this, so it might not work.

CZO discussion

@Gittenburg Gittenburg marked this pull request as ready for review July 23, 2020 19:32
GitHub sends all subscribed users a notification for new comments.
So spamming subscribers with bot comments is annoying.

Fixes zulip#180.
@codecov
Copy link

codecov bot commented Jul 23, 2020

Codecov Report

❗ No coverage uploaded for pull request base (master@39b257e). Click here to learn what that means.
The diff coverage is n/a.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Get rid of "Hello @____ members" issue comments
2 participants